Holger Schlingloff: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Rough Sets and Sorites Paradox

Jankowski, Andrzej, Skowron, Andrzej, Wasilewski, Piotr, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 778 KB

english, 2018

2

Semantics and Controllability of Time-Aware Business Processes*

De Angelis, Emanuele, Fioravanti, Fabio, Meo, Maria Chiara, Pettorossi, Alberto, Proietti, Maurizio, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 403 KB

english, 2019

3

[IEEE 2008 Sixth International Conference on Software Engineering Research, Management and Applications - Prague, Czech Republic (2008.08.20-2008.08.22)] 2008 Sixth International Conference on Software Engineering Research, Management and Applications - Compliance of CMMI Process Area with Specification Based Development

Mishra, Satish, Schlingloff, Bernd-Holger

Year:

2008

Language:

english

File:

PDF, 193 KB

english, 2008

4

A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps

Czaja, Ludwik, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 1.95 MB

english, 2018

5

Trying to Understand PEG

Redziejowski, Roman R., Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 188 KB

english, 2018

6

Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking

Rataj, Artur, Woźna-Szcześniak, Bożena, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 856 KB

english, 2018

7

Reversing Transitions in Bounded Petri Nets

Barylska, Kamila, Erofeev, Evgeny, Koutny, Maciej, Mikulski, Łukasz, Piątkowski, Marcin, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 326 KB

english, 2018

8

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

Pelz, Elisabeth, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 267 KB

english, 2018

9

TripICS - a Web Service Composition System for Planning Trips and Travels

Niewiadomski, Artur, Switalski, Piotr, Kowalczyk, Marcin, Penczek, Wojciech, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 694 KB

english, 2018

10

Superposition Principle in Composable Hybrid Automata

Akhundov, Jafar, Tröger, Peter, Werner, Matthias, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 333 KB

english, 2018

11

Computing Bisimulation-Based Comparisons

Nguyen, Linh Anh, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 287 KB

english, 2018

12

From Data to Pattern Structures: Near Set Approach*

Wolski, Marcin, Gomolińska, Anna, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 254 KB

english, 2019

13

Applying Modern SAT-solvers to Solving Hard Problems

Niewiadomski, Artur, Switalski, Piotr, Sidoruk, Teofil, Penczek, Wojciech, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 1.88 MB

english, 2019

14

Linking Reaction Systems with Rough Sets

Dutta, Soma, Jankowski, Andrzej, Rozenberg, Grzegorz, Skowron, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 1.67 MB

2019

15

Modeling and Model Checking Web Services

Holger Schlingloff, Axel Martens, Karsten Schmidt

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 467 KB

english, 2005

16

Efficient Verification of Parallel Real–Time Systems

Tomohiro Yoneda, Bernd–Holger Schlingloff

Journal:

Formal Methods in System Design

Year:

1997

Language:

english

File:

PDF, 452 KB

english, 1997

17

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) - Cleveland, OH, USA (2014.03.31-2014.04.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation - An Evaluation of Model-Based Testing in Embedded Applications

Weissleder, Stephan, Schlingloff, Holger

Year:

2014

Language:

english

File:

PDF, 340 KB

english, 2014

18

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Quality of Automatically Generated Test Cases based on OCL Expressions

Weissleder, Stephan, Schlingloff, Bernd-Holger

Year:

2008

Language:

english

File:

PDF, 937 KB

english, 2008

19

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Speci?cation-Based Testing for Software Product Lines

Kahsai, Temesghen, Roggenbach, Markus, Schlingloff, Bernd-Holger

Year:

2008

Language:

english

File:

PDF, 526 KB

english, 2008

20

[IEEE 2014 IEEE 44th International Symposium on Multiple-Valued Logic (ISMVL) - Bremen, Germany (2014.5.19-2014.5.21)] 2014 IEEE 44th International Symposium on Multiple-Valued Logic - Online Monitoring of Distributed Systems with a Five-Valued LTL

Chai, Ming, Schlingloff, Bernd-Holger

Year:

2014

Language:

english

File:

PDF, 287 KB

english, 2014

21

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on - SPLC '14 - On the use of test cases in model-based software product line development

Knapp, Alexander, Roggenbach, Markus, Schlingloff, Bernd-Holger

Year:

2014

Language:

english

File:

PDF, 670 KB

english, 2014

22

[ACM Press the 2001 conference - Yokohama, Japan (2001..-..)] Proceedings of the 2001 conference on Asia South Pacific design automation - ASP-DAC '01 - Conformance and mirroring for timed asychronous circuits

Zhou, Bin, Yoneda, Tomohiro, Schlingloff, Bernd-Holger

Year:

2001

Language:

english

File:

PDF, 266 KB

english, 2001

23

Expressive completeness of temporal logic of trees

Schlingloff, Bernd-Holger

Journal:

Journal of Applied Non-Classical Logics

Year:

1992

Language:

english

File:

PDF, 1.20 MB

english, 1992

24

[IEEE 2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC) - Collaborative embedded systems - a case study

Schlingloff, Bernd-Holger, Stubert, Henry, Jamroga, Wojciech

Year:

2016

Language:

english

File:

PDF, 1017 KB

english, 2016

25

Monitoring with Parametrized Extended Life Sequence Charts

Chai, Ming, Schlingloff, Bernd-Holger

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 2.58 MB

english, 2017

26

[IEEE 2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC) - Porto, Portugal (2018.4.11-2018.4.11)] 2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC) - Specification and Verification of Collaborative Transport Robots

Schlingloff, Bernd-Holger

Year:

2018

Language:

english

File:

PDF, 492 KB

english, 2018

27

Preface

Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

File:

PDF, 52 KB

2018

28

From Data to Pattern Structures: Near Set Approach*

Wolski, Marcin, Gomolińska, Anna, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 254 KB

2019

29

Linking Reaction Systems with Rough Sets

Dutta, Soma, Jankowski, Andrzej, Rozenberg, Grzegorz, Skowron, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 1.67 MB

english, 2019

30

What Are Justification Logics?

Fitting, Melvin, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 219 KB

english, 2019

31

Towards Encoding of the Transition Relation in Dialogue Games Model Checking

Sawicka, Anna, Kacprzak, Magdalena, Zbrzezny, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 166 KB

english, 2019

32

Studying Opacity of Reaction Systems through Formula Based Predictors*

Gori, Roberta, Gruska, Damas, Milazzo, Paolo, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 271 KB

english, 2019

33

Experimental Study of Totally Optimal Decision Trees

Aldilaijan, Abdulla, Azad, Mohammad, Moshkov, Mikhail, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 321 KB

english, 2019

34

Special issue on engineering collaborative embedded systems

Rumpe, Bernhard, Schaefer, Ina, Schlingloff, Bernd-Holger, Vogelsang, Andreas

Journal:

SICS Software-Intensive Cyber-Physical Systems

Year:

2019

File:

PDF, 162 KB

2019

35

Preface

Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 53 KB

2019